[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 121 890 335 119 0 102 -1

N.S.

1 1.00 0.66 4.89 1.84 0.65 0.00 0.56 -0.01

time (sec)

N/A 0.134 0.358 0.071 0.569 1.859 0.000 1.993 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 107 644 214 107 0 91 -1

N.S.

1 1.00 0.82 4.95 1.65 0.82 0.00 0.70 -0.01

time (sec)

N/A 0.039 0.293 0.076 0.514 1.857 0.000 1.499 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 95 347 128 98 0 80 -1

N.S.

1 1.00 0.84 3.07 1.13 0.87 0.00 0.71 -0.01

time (sec)

N/A 0.029 0.326 0.079 0.517 2.653 0.000 1.904 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 115 1192 0 112 0 97 -1

N.S.

1 1.00 1.29 13.39 0.00 1.26 0.00 1.09 -0.01

time (sec)

N/A 0.130 0.399 0.079 0.000 2.131 0.000 1.785 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 114 1322 0 125 0 170 -1

N.S.

1 1.00 1.21 14.06 0.00 1.33 0.00 1.81 -0.01

time (sec)

N/A 0.204 0.381 0.086 0.000 2.494 0.000 1.730 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 130 1461 0 107 0 229 -1

N.S.

1 1.00 1.18 13.28 0.00 0.97 0.00 2.08 -0.01

time (sec)

N/A 0.262 0.418 0.072 0.000 2.517 0.000 1.432 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 103 1626 0 117 0 300 -1

N.S.

1 1.00 0.75 11.87 0.00 0.85 0.00 2.19 -0.01

time (sec)

N/A 0.396 0.463 0.102 0.000 3.462 0.000 1.335 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 116 1799 0 129 0 360 -1

N.S.

1 1.00 0.68 10.58 0.00 0.76 0.00 2.12 -0.01

time (sec)

N/A 0.502 0.472 0.089 0.000 2.028 0.000 1.880 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 127 1997 0 139 0 426 -1

N.S.

1 1.00 0.65 10.19 0.00 0.71 0.00 2.17 -0.01

time (sec)

N/A 0.477 0.578 0.107 0.000 2.276 0.000 1.278 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 82 245 0 126 0 0 220

N.S.

1 1.00 0.86 2.58 0.00 1.33 0.00 0.00 2.32

time (sec)

N/A 0.092 0.358 0.068 0.000 1.605 0.000 0.000 2.703

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 50 258 153 102 0 0 287

N.S.

1 1.00 0.57 2.93 1.74 1.16 0.00 0.00 3.26

time (sec)

N/A 0.078 0.416 0.073 0.292 1.835 0.000 0.000 0.061

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 137 1212 365 291 0 0 252

N.S.

1 1.00 0.66 5.80 1.75 1.39 0.00 0.00 1.21

time (sec)

N/A 0.198 0.618 0.071 0.307 4.409 0.000 0.000 3.217

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 137 985 367 292 0 0 252

N.S.

1 1.00 0.66 4.71 1.76 1.40 0.00 0.00 1.21

time (sec)

N/A 0.130 0.592 0.068 0.314 2.226 0.000 0.000 3.189

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 137 708 371 291 0 0 252

N.S.

1 1.00 0.65 3.36 1.76 1.38 0.00 0.00 1.19

time (sec)

N/A 0.068 0.582 0.068 0.308 2.856 0.000 0.000 3.194

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 137 379 370 291 0 0 242

N.S.

1 1.00 0.67 1.85 1.80 1.42 0.00 0.00 1.18

time (sec)

N/A 0.061 0.018 0.067 0.319 5.288 0.000 0.000 3.118

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 173 1328 0 402 0 0 -1

N.S.

1 1.00 0.74 5.68 0.00 1.72 0.00 0.00 -0.00

time (sec)

N/A 0.244 0.957 0.110 0.000 5.623 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 193 1429 0 425 0 0 -1

N.S.

1 1.00 0.71 5.27 0.00 1.57 0.00 0.00 -0.00

time (sec)

N/A 0.429 0.932 0.158 0.000 3.670 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 81 95 0 217 0 0 -1

N.S.

1 1.00 0.79 0.93 0.00 2.13 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.303 0.087 0.000 2.105 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 47 58 0 110 0 57 -1

N.S.

1 1.00 1.21 1.49 0.00 2.82 0.00 1.46 -0.03

time (sec)

N/A 0.025 0.218 0.067 0.000 2.390 0.000 1.380 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 52 62 48 92 82 0 38

N.S.

1 1.00 1.49 1.77 1.37 2.63 2.34 0.00 1.09

time (sec)

N/A 0.006 0.063 0.086 0.510 2.171 0.793 0.000 2.985

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 76 0 199 0 0 -1

N.S.

1 1.00 1.00 2.17 0.00 5.69 0.00 0.00 -0.03

time (sec)

N/A 0.018 1.509 0.071 0.000 2.705 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 46 57 68 90 29 0 36

N.S.

1 1.00 1.35 1.68 2.00 2.65 0.85 0.00 1.06

time (sec)

N/A 0.005 0.048 0.078 0.494 3.078 0.798 0.000 3.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 86 0 208 0 0 -1

N.S.

1 1.00 1.00 2.53 0.00 6.12 0.00 0.00 -0.03

time (sec)

N/A 0.018 1.546 0.077 0.000 2.569 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 64 84 82 111 148 0 54

N.S.

1 1.00 1.02 1.33 1.30 1.76 2.35 0.00 0.86

time (sec)

N/A 0.010 0.082 0.075 0.537 1.966 1.773 0.000 2.597

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 49 92 0 221 0 0 -1

N.S.

1 1.00 0.78 1.46 0.00 3.51 0.00 0.00 -0.02

time (sec)

N/A 0.021 1.469 0.073 0.000 2.479 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 199 0 0 0 513 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 2.05 0.00 -0.00

time (sec)

N/A 0.248 0.852 0.010 0.000 0.000 21.186 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 174 0 0 0 442 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 2.15 0.00 -0.00

time (sec)

N/A 0.135 0.739 0.010 0.000 0.000 15.518 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 121 0 0 0 374 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 2.31 0.00 -0.01

time (sec)

N/A 0.056 0.630 0.007 0.000 0.000 11.341 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 0 0 0 61 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.76 0.00 -0.01

time (sec)

N/A 0.016 0.381 0.009 0.000 0.000 5.180 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 122 0 0 0 248 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 1.52 0.00 -0.01

time (sec)

N/A 0.090 0.631 0.012 0.000 0.000 10.842 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 173 0 0 0 185 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.91 0.00 -0.00

time (sec)

N/A 0.136 0.640 0.010 0.000 0.000 33.842 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 245 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.243 0.716 0.011 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 199 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.134 1.081 0.010 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 174 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.134 0.884 0.009 0.000 0.000 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 162 121 0 0 0 117 0 -1

N.S.

1 1.31 0.98 0.00 0.00 0.00 0.94 0.00 -0.01

time (sec)

N/A 0.056 0.789 0.007 0.000 0.000 26.867 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 0 0 0 60 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.75 0.00 -0.01

time (sec)

N/A 0.016 0.551 0.007 0.000 0.000 5.499 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 122 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 1.067 0.012 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 176 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.141 1.254 0.012 0.000 0.000 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 200 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.144 1.507 0.010 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 132 0 0 0 972 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 6.57 0.00 -0.01

time (sec)

N/A 0.066 0.223 0.019 0.000 0.000 2.356 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 129 0 0 0 972 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 6.61 0.00 -0.01

time (sec)

N/A 0.063 0.201 0.016 0.000 0.000 2.170 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 106 0 0 0 382 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 3.18 0.00 -0.01

time (sec)

N/A 0.047 0.186 0.014 0.000 0.000 1.840 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 103 0 0 0 382 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 3.21 0.00 -0.01

time (sec)

N/A 0.042 0.179 0.013 0.000 0.000 1.705 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 85 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.96 0.00 -0.01

time (sec)

N/A 0.021 0.134 0.013 0.000 0.000 1.451 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 83 0 0 0 82 0 78

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.99 0.00 0.94

time (sec)

N/A 0.015 0.148 0.012 0.000 0.000 1.477 0.000 4.345

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 104 0 0 0 78 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.75 0.00 -0.01

time (sec)

N/A 0.035 0.149 0.007 0.000 0.000 3.610 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 108 0 0 0 82 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.76 0.00 -0.01

time (sec)

N/A 0.037 0.177 0.008 0.000 0.000 2.007 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 106 0 0 0 85 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.77 0.00 -0.01

time (sec)

N/A 0.039 0.181 0.013 0.000 0.000 2.073 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 159 0 0 0 2924 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 16.43 0.00 -0.01

time (sec)

N/A 0.099 0.276 0.022 0.000 0.000 3.565 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 186 0 0 0 1015 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 5.49 0.00 -0.01

time (sec)

N/A 0.106 0.294 0.019 0.000 0.000 2.906 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 138 0 0 0 1328 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 8.91 0.00 -0.01

time (sec)

N/A 0.086 0.236 0.018 0.000 0.000 2.617 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 168 0 0 0 425 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 2.74 0.00 -0.01

time (sec)

N/A 0.091 0.257 0.017 0.000 0.000 2.325 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 110 0 0 0 440 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 3.73 0.00 -0.01

time (sec)

N/A 0.061 0.178 0.015 0.000 0.000 1.969 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 134 0 0 0 124 0 -1

N.S.

1 1.00 1.89 0.00 0.00 0.00 1.75 0.00 -0.01

time (sec)

N/A 0.021 0.206 0.014 0.000 0.000 1.802 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 103 0 0 0 136 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 1.06 0.00 -0.01

time (sec)

N/A 0.060 0.187 0.011 0.000 0.000 3.610 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 153 0 0 0 116 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.91 0.00 -0.01

time (sec)

N/A 0.075 0.241 0.010 0.000 0.000 2.506 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 131 0 0 0 139 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 1.00 0.00 -0.01

time (sec)

N/A 0.081 0.223 0.017 0.000 0.000 2.796 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 205 0 0 0 2966 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 13.36 0.00 -0.00

time (sec)

N/A 0.123 0.429 0.012 0.000 0.000 4.577 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 219 0 0 0 2966 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 13.61 0.00 -0.00

time (sec)

N/A 0.120 0.414 0.023 0.000 0.000 4.171 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 187 0 0 0 1370 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 7.10 0.00 -0.01

time (sec)

N/A 0.110 0.344 0.021 0.000 0.000 3.409 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 187 0 0 0 1370 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 7.25 0.00 -0.01

time (sec)

N/A 0.104 0.333 0.019 0.000 0.000 3.144 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 159 0 0 0 479 0 -1

N.S.

1 1.00 1.37 0.00 0.00 0.00 4.13 0.00 -0.01

time (sec)

N/A 0.048 0.360 0.021 0.000 0.000 2.582 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 155 0 0 0 476 0 -1

N.S.

1 1.00 2.12 0.00 0.00 0.00 6.52 0.00 -0.01

time (sec)

N/A 0.019 0.292 0.018 0.000 0.000 2.341 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 169 0 0 0 178 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 1.04 0.00 -0.01

time (sec)

N/A 0.081 0.287 0.016 0.000 0.000 4.668 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 158 0 0 0 177 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 1.11 0.00 -0.01

time (sec)

N/A 0.116 0.276 0.013 0.000 0.000 2.869 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 182 0 0 0 177 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 1.07 0.00 -0.01

time (sec)

N/A 0.137 0.290 0.016 0.000 0.000 3.335 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

148 148 66 0 0 0 0 0 -1

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.273 0.027 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 245 0 0 0 5090 0 -1

N.S.

1 1.00 2.02 0.00 0.00 0.00 42.07 0.00 -0.01

time (sec)

N/A 0.059 0.395 0.023 0.000 0.000 65.345 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 198 0 0 0 4124 0 -1

N.S.

1 1.00 1.66 0.00 0.00 0.00 34.66 0.00 -0.01

time (sec)

N/A 0.056 0.336 0.018 0.000 0.000 12.623 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 147 0 0 0 427 0 -1

N.S.

1 1.00 1.63 0.00 0.00 0.00 4.74 0.00 -0.01

time (sec)

N/A 0.038 0.217 0.018 0.000 0.000 4.241 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 75 0 0 0 321 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 4.40 0.00 -0.01

time (sec)

N/A 0.023 0.173 0.018 0.000 0.000 2.865 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 151 0 0 0 355 0 -1

N.S.

1 1.00 1.45 0.00 0.00 0.00 3.41 0.00 -0.01

time (sec)

N/A 0.045 0.236 0.013 0.000 0.000 3.036 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 167 0 0 0 450 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 4.25 0.00 -0.01

time (sec)

N/A 0.052 0.305 0.018 0.000 0.000 4.552 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 219 0 0 0 498 0 -1

N.S.

1 1.00 2.03 0.00 0.00 0.00 4.61 0.00 -0.01

time (sec)

N/A 0.053 0.586 0.023 0.000 0.000 13.659 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 66 0 0 0 0 0 -1

N.S.

1 1.00 0.37 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.340 0.029 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

184 184 66 0 0 0 0 0 -1

N.S.

1 1.00 0.36 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.323 0.029 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 332 0 0 0 0 0 -1

N.S.

1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.400 0.023 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 177 0 0 0 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.118 0.315 0.021 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 102 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.212 0.021 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 75 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.205 0.019 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 201 0 0 0 0 0 -1

N.S.

1 1.00 1.57 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.284 0.012 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 223 0 0 0 0 0 -1

N.S.

1 1.00 1.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.108 0.458 0.019 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 283 0 0 0 0 0 -1

N.S.

1 1.00 1.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 0.532 0.023 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 334 0 0 0 0 0 -1

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.543 0.028 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 389 0 0 0 0 0 -1

N.S.

1 1.00 2.68 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.603 0.033 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 245 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.149 0.498 0.030 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 202 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.131 0.417 0.029 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 130 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.301 0.030 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 102 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.249 0.026 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 75 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.227 0.026 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 328 0 0 0 0 0 -1

N.S.

1 1.00 1.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.378 0.013 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 280 0 0 0 0 0 -1

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.150 0.531 0.028 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 341 0 0 0 0 0 -1

N.S.

1 1.00 1.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.175 0.694 0.030 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 393 0 0 0 0 0 -1

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 0.639 0.037 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 446 0 0 0 0 0 -1

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.186 0.733 0.012 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

265 265 231 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 0.539 0.036 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 156 0 0 0 0 0 -1

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.242 0.420 0.036 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 130 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.356 0.037 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 102 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.288 0.034 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 75 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.254 0.034 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]